Boolean data type - PDFSEARCH.IO - Document Search Engine

Boolean data type
Results: 407

#	Item
201	Ada Programming/All Operators - Wikibooks Add to Reading List Source URL: upload.wikimedia.org Language: English - Date: 2013-10-04 19:58:12 Ada Cross-platform software Procedural programming languages Relational operator Operator overloading Boolean data type Conditional Operator C Computing Software engineering Computer programming
202	Lists in TEX’s Mouth Alan Jeffrey August 6, 2013 1 Add to Reading List Source URL: ftp.heanet.ie Language: English - Date: 2013-08-06 13:14:53 Computability theory Boolean algebra Functions and mappings Lambda calculus Theoretical computer science Monad Boolean data type Function Conditional Mathematics Computing Mathematical logic
203	Lists in TEX’s Mouth Alan Jeffrey August 6, 2013 1 Add to Reading List Source URL: mirror.its.dal.ca Language: English - Date: 2013-08-06 12:14:00 Computability theory Boolean algebra Functions and mappings Lambda calculus Theoretical computer science Monad Boolean data type Function Conditional Mathematics Computing Mathematical logic
204	NuSMV 2.4 User Manual Roberto Cavada, Alessandro Cimatti, Charles Arthur Jochim, Gavin Keighren, Emanuele Olivetti, Marco Pistore, Marco Roveri and Andrei Tchaltsev Add to Reading List Source URL: nusmv.fbk.eu Language: English - Date: 2007-04-06 08:45:07 Programming language theory Type theory Enumerated type NuSMV Type system Boolean data type C Pascal Boolean algebra Data types Computing Software engineering
205	Run Descriptions: TREC 2008 Legal Track, Relevance Feedback Task Run IowaSL08RF1A (University of Iowa (Srinivasan)) Task: feedback Run type: automatic Add to Reading List Source URL: trec.nist.gov Language: English - Date: 2009-02-10 08:11:53 Relevance feedback Ada Boolean data type Search engine indexing Information science Information retrieval Computing
206	Lists in TEX’s Mouth Alan Jeffrey August 6, 2013 1 Add to Reading List Source URL: kambing.ui.ac.id Language: English - Date: 2013-08-06 13:14:53 Computability theory Boolean algebra Functions and mappings Lambda calculus Theoretical computer science Monad Boolean data type Function Conditional Mathematics Computing Mathematical logic
207	NuSMV 2.5 User Manual Roberto Cavada, Alessandro Cimatti, Charles Arthur Jochim, Gavin Keighren, Emanuele Olivetti, Marco Pistore, Marco Roveri and Andrei Tchaltsev Add to Reading List Source URL: nusmv.fbk.eu Language: English - Date: 2011-06-16 06:19:24 Computer programming Enumerated type NuSMV Type system C Boolean data type EXPRESS Signedness Integer Data types Computing Software engineering
208	Rationale for International Standard— Programming Languages— C Revision x23 Add to Reading List Source URL: www.open-std.org Language: English - Date: 2001-03-19 20:11:21 Computer programming Procedural programming languages Cross-platform software C C++ PL/I SQL Boolean data type Bc programming language Computing Software engineering C programming language
209	NuSMV 2.3 User Manual Roberto Cavada, Alessandro Cimatti, Emanuele Olivetti, Gavin Keighren, Marco Pistore, Marco Roveri, Simone Semprini and Andrey Tchaltsev Add to Reading List Source URL: nusmv.fbk.eu Language: English - Date: 2005-11-21 08:41:53 Procedural programming languages NuSMV Boolean algebra Data types Expr Boolean data type Model checking C FALSE Computing Software engineering Software
210	Addresslists with LATEX Tobias Spribille May 14, 2008 1 \ForEachAdress Add to Reading List Source URL: ctan.ijs.si Language: English - Date: 2008-05-14 14:11:00 Data types Primitive types Arrays Circular buffer Computer memory C Email Keyword Boolean data type Computing Software engineering Computer programming

UPDATE